Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
321	Sutra: International Journal of Mathematical Science Education, Vol. 2, No. 1, Useful Mathematical Symbols Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2009-03-11 10:45:36 Quantification Elementary arithmetic Mathematical logic Mathematical notation Integral Interval Universal quantification Equality Exponentiation Quantifier Plus-minus sign ISO 31-11
322	Decoupling the Ethernet from Architecture in Linked Lists Ike Antkaretoo International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Theoretical computer science Algorithm Mathematical logic Actor model
323	Summation Relations and Portions of Stuff Maureen Donnelly and Thomas Bittner (NOTE: This paper is currently being processed for publication in Philosophical Studies.) 1. Portions of stuff We have in front of us a full g Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:55 Predicate logic Ontology Mathematical logic Mereology First-order logic Properties of water Temporal parts
324	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
325	Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:52:35 Theoretical computer science Computational complexity theory Algorithm Mathematical logic Analysis of algorithms Computer science Computing XPL Efficiency
326	Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University Add to Reading List Source URL: www.peoppenheimer.org Language: English - Date: 2016-07-11 03:14:21 Model theory Mathematical logic Formal languages Predicate logic Metalogic First-order logic Principia Mathematica Interpretation Well-formed formula Lambda calculus Constructible universe Structure
327	Counting by independent choices & overcounting September 24, Counting with factorials and falling factorials Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Combinatorics Factorial Mathematical logic Mathematical notation Falling and rising factorials Counting Summation
328	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
329	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
330	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry

UPDATE